Fuzzy logic abduction
نویسنده
چکیده
Abduction is an important form of nonmono tonic reasoning allowing one to nd explanations for certain symptoms or observations We consider the situation when the application domain is described by a logic program IF THEN rules To model uncertainty in human cognition and real world applications we use fuzzy logic i e many valued logic where axioms can have truth values con dence factors smaller than Our connectives are tunable to t real world data We introduce a model of fuzzy logic programming ab duction problem FLPAP which has many applications in di agnostical systems We show soundness and completeness of declarative and procedural semantics of FLPAP We show how can linear programming be applied in order to get minimal solutions wrt a cost function We discuss the problem of ap proximative explanations in nitely valued logic and integer programming
منابع مشابه
A Study on Fuzzy Abductive Inference
This paper proposes a fuzzy abductive inference to realize a creative thinking support system. The fuzzy logic is applied to Peng and Reggia's abductive inference for handling degrees of manifestations. Application of the new method to a diagnostic problem is shown and the e ectiveness of the proposed method is demonstrated by comparing the inferred results with those by the conventional fuzzy ...
متن کاملFuzzy logic programming
In this paper we consider the theory of fuzzy logic programming without negation. Our results cover logical systems with a wide variety of connectives ranging from t-norm and conorms, through conjunctors and disjunctors and their residuals to aggregation operators. Rules of our programs are many valued implications. We emphasize, that in contrast to other approaches, our logic is truth function...
متن کاملFuzzy Abductive Reasoning for Diagnostic Problems
Fuzzy abduction is a procedure for deriving fuzzy sets of hypotheses which explain a given fuzzy set of events using a set of implications with a truth value. The derived fuzzy sets of hypotheses are called fuzzy explanations. This paper starts with discussion for diagnosis using conventional expert systems and with fuzzy relational equations. Then, it proposes an approach using a fuzzy abducti...
متن کاملAn Efficient Algorithm to Computing Max-Min Post-inverse Fuzzy Relation for Abductive Reasoning
This paper provides an alternative formulation to computing the max–min inverse fuzzy relation by embedding the inherent constraints of the problem into a heuristic (objective) function. The optimization of the heuristic function guarantees maximal satisfaction of the constraints, and consequently, the condition for optimality yields solution to the inverse problem. An algorithm for computing t...
متن کاملA classification of abduction: abduction for logic programming
Abduction is a methodology of scienti c researches. Peirce showed three types of abduction, and expressed them by one syllogism. Recently various researches on abduction or abductive logic have been developed in the elds of automated reasoning and machine learning. In order to systematically understand such researches and to clearly discuss abduction, this paper classi es abduction into ve type...
متن کامل